- свободные переменные
- Computers: slack variables
Универсальный русско-английский словарь. Академик.ру. 2011.
свободные переменные
Смотреть что такое "свободные переменные" в других словарях:
Квантор — Квантор общее название для логических операций, ограничивающих область истинности какого либо предиката и создающих выcказывание. Чаще всего упоминают: Квантор всеобщности (обозначение: , читается: «для всех…», «для каждого…» или «каждый…» … Википедия
ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… … Философская энциклопедия
Замыкание (программирование) — Эта статья или раздел нуждается в переработке. Пожалуйста, улучшите статью в соответствии с правилами написания статей. У этого термина … Википедия
Метод Гаусса — У этого термина существуют и другие значения, см. Метод Гаусса (оптимизация). Метод Гаусса[1] классический метод решения системы линейных алгебраических уравнений (СЛАУ). Это метод последовательного исключения переменных, когда с помощью… … Википедия
ФУНКЦИЯ — (лат. functio – исполнение) обязанность, круг деятельности. «Функция – это существование, мыслимое нами в действии» (Гёте). Наука о функциях органов живых существ – физиология; специальная наука о функциях нервной системы – физиология органов… … Философская энциклопедия
РЕФАЛ — а л г о р и т м и ч е с к и й я з ы к р ек у р с и в н ы х ф у н к ц и й, алгоритмический язык, ориентированный на задачи преобразования символьной информации; в первоначальном варианте назывался метаалгоритмическим языком (см. |1]). Р. был… … Математическая энциклопедия
ТОЖДЕСТВЕННАЯ ИСТИННОСТЬ — логическая истинность, общезначимоеть, свойство формул языка исчисления предикатов, означающее истинность формулы во всех ее интерпретациях и цри всех допустимых значениях ее свободных переменных. Так, для формул, содержащих только один… … Математическая энциклопедия
ОПРЕДЕЛЕНИЕ — дефиниция (лат. defenitio ограничение) логическая операция, раскрывающая содержание понятия. Напр., обычное определение термометра указывает, что это, во первых, прибор и, во вторых, именно тот, с помощью которого измеряется температура. Важность … Философская энциклопедия
Дифференциальное уравнение — Дифференциальное уравнение уравнение, связывающее значение некоторой неизвестной функции в некоторой точке и значение её производных различных порядков в той же точке. Дифференциальное уравнение содержит в своей записи неизвестную функцию,… … Википедия
ОПРЕДЕЛЕНИЕ, — ОПРЕДЕЛЕНИЕ, дефиниция (от лат. «definitio» – «предел», «граница») – логическая процедура придания строго фиксированного смысла терминам языка. Т.к. значения терминов зависят от их смыслов, то всякий раз, придавая через определение какой либо… … Философская энциклопедия
ПРЕДВАРЁННАЯ ФОРМА — нормальная форма представления формул предикатов исчисления, имеющая (в общем случае) вид: ФОРМА > где Qι (0 ≤ ι ≤ n) – квантор общности (∀) или существования (∃); (...) формула, не содержащая кванторов и находящаяся в области действия каждого… … Философская энциклопедия
